741. Predicate calculus and program semantics
Author: Edsger W. Dijkstra, Carel S. Scholten
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
9
.
35
.
D55
1989
742. Predicate transformer semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
Classification :
QA
76
.
7
.
M342
1992
743. Principles of programming languages
Author: Tennent, R. D.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
T47
744. Principles of programming languages
Author: Tennent, R. D.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
T47
745. Principles of programming languages
Author: / Gilles Dowek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)
Classification :
QA
,
76
.
7
,.
D69
,
2009
746. Principles of programming languages
Author: Tennent, R. D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
T47
747. Principles of programming languages
Author: / R.D. Tennent
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
T47
748. Principles of programming languages /
Author: R.D. Tennent
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
T47
749. Pro Android with Kotlin :
Author: Peter Späth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Mobile apps.,Application software-- Development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Programming & scripting languages: general.,WAP (wireless) technology.
Classification :
QA76
.
59
.
S63
2018
750. Proceedings
پدیدآورنده :
موضوع : Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
751. Proceedings
Author: IEEE Computer Society International Conference on Computer Languages )6891: Miami, Fl.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
7
.
I17
1986
752. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
Author: Sponsored by IEEE Computer Society
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
Classification :
Q
336
.
I356
1994
753. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop )Haskell'02( : Pittsburgh, Pennsylvania, USA October 3, 2002
Author: Sponsored by the Association for Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Haskell )Computer program language(,، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
H37A25
2002
754. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy
Author: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2004
755. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2003
756. Proceedings of the 1992 International Conference on Computer Languages
Author: Sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Computer Languages
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Programming languages )Electronic computers(- Congresses
Classification :
QA
76
.
7
.
I17
1992
757. Proceedings of the 1994 International Conference on Computer Languages, Touloure, France, May 16-19, 1994
Author: Sponsored by IEEE Computer Society Technical Committee on Computer Languages, in cooperation with ACM SIGPLAN IRIT
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming Languages )Electronic computers( - Congresses
Classification :
QA
76
.
7
.
I57
1994
758. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
Author: sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
758
.
I5
2007
759. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
Author: sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
758
.
I5
2007
Comp
.
760. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
Author: sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
Classification :
QA
76
.
6
.
I573
1993
